#pragma once

extern void update_process_times(int user);
extern void jiffies_increase(unsigned long ticks);
